Handling State Space Explosion in Component-Based Software Verification: A Review

Component-based software development (CBSD) is an alternative approach to constructing systems that offers numerous benefits, particularly in decreasing the complexity of system design. However, deploying components into a challenging and error-prone task. Model-checking one reliable methods systematically analyze correctness system. Its brute-force checking system's state space assists significantly expand level confidence Nevertheless, model-checking limited by critical problem called explosion (SSE). To benefit from model-checking, appropriate method required reduce SSE. In past two decades, great number SSE reduction have been proposed containing many similarities, dissimilarities, unclear concepts some cases. This research, firstly, plans present review handling classify them based on their principle, characteristics. Second, it investigates for verification process CBSD provides insight potential limitations, underlining key challenges future research efforts.